In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
581	The Earth System Modeling Framework: A high performance software solution for building and coupling model components. Seminar at the Max Planck Institute for Meteorology, Hamburg Add to Reading List Source URL: www.earthsystemmodeling.org Language: English - Date: 2012-05-08 09:08:24 Weather prediction Software architecture Application programming interfaces Object-oriented programming NetCDF Software framework Cooperative Institute for Research in Environmental Sciences Fortran Cygwin Software Computing ESMF
582	Using MicroGDS 11 E 1993–2011 Informatix Inc. All rights reserved. MicroGDS 11: February[removed]Information in this manual is subject to change without notice and does Add to Reading List Source URL: download.microgds.co.uk Language: English - Date: 2012-02-13 08:22:33 X Window System Animation software Portable software Windows Vista Software Application programming interfaces Freedesktop.org
583	IBM 7094 The 7094 was IBM’s most powerful scientific computer in[removed]An “upgrade” from the IBM 7090, the 7094 was 1.4 to 2.4 times faster than its predecessor it could perform 500,000 logical decisions, 250,000 Add to Reading List Source URL: www.ed-thelen.org Language: English - Date: 2008-07-23 04:19:38 Array programming languages Procedural programming languages IBM Fortran University of Michigan Executive System Computing Software engineering IBM 7090/94 IBSYS
584	Random Testing in PVS Sam Owre SRI International, Computer Science Laboratory 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [removed] Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:12 Automated theorem proving Lisp programming language Mathematical logic Randomness Prototype Verification System IP Proof assistant Dependent type Common Lisp Computing Software engineering Logic
585	HOL Formalised: Deductive System R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-02-14 05:58:39 Logic in computer science Formal methods Theoretical computer science Algorithms Hindley–Milner Type theory HOL ALGOL 68 Natural deduction Logic Mathematics Programming language theory
586	Compatibility and reuse in component-based systems via type and unit inference Christian K¨uhnel1 1) Andreas Bauer2,1 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-09-04 21:01:39 Mathematics Programming language theory Object-oriented programming Polymorphism Subtype polymorphism Type system Structure Model theory Natural deduction Data types Type theory Software engineering
587	Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story Tobias Lindahl and Konstantinos Sagonas Computing Science, Dept. of Information Technology, Uppsala University, Sweden { Add to Reading List Source URL: www.erlang.se Language: English - Date: 2004-10-11 05:40:24 Erlang programming language Ericsson Erlang Cross-platform software Procedural programming languages Type system Open Telecom Platform Bytecode Data-flow analysis Computing Software engineering Computer programming
588	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Formal methods Type theory Functional languages Isabelle Lambda calculus HOL Id System F Theoretical computer science Applied mathematics Programming language theory
589	Deploying Extremely Latency-Sensitive Applications in VMware vSphere 5.5 Add to Reading List Source URL: www.vmware.com Language: English - Date: 2013-10-18 21:27:18 Computer networking VMware Programming language implementation Hyper-V Hypervisor VM Latency Low latency Virtualization System software Software Virtual machines
590	Hey, What changed when I Installed my Template?! ! Lots of folks have asked what the heck goes on when I install a template. Below is a quick synopsis of what changes in your file system when you install a template.! Add to Reading List Source URL: www.hoovernebrig.com Language: English - Date: 2014-09-15 23:25:57 Computer programming Business software Teamcenter Template Text file File system Syslog Backup Computer file Computing Information technology management Product lifecycle management

UPDATE